:- set(clauselength,10).
:- set(minacc,0.80).
:- set(minscore,3).
:- set(minpos,2).
:- set(noise,5).
:- set(nodes,5000).
:- set(explore,true).
:- set(max_features,20000).
:- set(cache_clauselength,10).




:-modeh(*,nopay(+student)).
:-modeb(*,male(+student)).
:-modeb(*,longest_absense_from_school(+student,#integer)).
        :-modeb(*,longest_absense_from_school(+student,-integer)).

:-modeb(*,enrolled(+student,#escuela,#integer)).
:-modeb(*,enrolled(+student,-escuela,#integer)).
:-modeb(*,enrolled(+student,#escuela,-integer)).
        :-modeb(*,enrolled(+student,-escuela,-integer)).

:-modeb(*,enlist(+student,#fuerza)).
        :-modeb(*,enlist(+student,-fuerza)).

:-modeb(*,unemployed(+student)).
:-modeb(*,filed_for_bankrupcy(+student)).
:-modeb(*,disabled(+student)).



:-determination(nopay/1,male/1).
:-determination(nopay/1,longest_absense_from_school/2).
:-determination(nopay/1,enrolled/3).
:-determination(nopay/1,enlist/2).
:-determination(nopay/1,unemployed/1).
:-determination(nopay/1,filed_for_bankrupcy/1).
:-determination(nopay/1,disabled/1).









% Types
:- consult(mics).

:- consult(male).
:- consult(longest_absense_from_school).
:- consult(enrolled).
:- consult(enlist).
:- consult(unemployed).
:- consult(filed_for_bankrupcy).
:- consult(disabled).














